home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 60 / 60.xpi / chrome / webdeveloper.jar / content / webdeveloper / options / pages / keys.xul < prev    next >
Encoding:
Extensible Markup Language  |  2009-06-30  |  838 b   |  23 lines
  1. <?xml version="1.0"?>
  2. <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
  3.  
  4. <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
  5.  
  6. <page onload="parent.webdeveloper_initializeKeys()"
  7.       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  8.  
  9.     <groupbox>
  10.         <caption label="&webdeveloper.keyboard.shortcuts.caption;"/>
  11.         <description value="&webdeveloper.keyboard.shortcuts.label;"/>
  12.         <description value="&webdeveloper.tools.shortcuts.label;"/>
  13.         <separator/>
  14.         <grid class="scroll">
  15.             <columns>
  16.                 <column/>
  17.                 <spacer class="small-spacer"/>
  18.                 <column/>
  19.             </columns>
  20.             <rows id="webdeveloper-key-rows"/>
  21.         </grid>
  22.     </groupbox>
  23. </page>